$\forall$$g$:OCMon, $a$:$\mid$$g$$\mid$. $\uparrow$($a$ $\leq_{b}$ $a$)